faf814387a131feb28882625ca3a14a64340650c,modules/wyil/src/wyil/builders/VerificationConditionGenerator.java,VerificationConditionGenerator,translateAssert,#Location#Context#,452
Before Change
* @param wyalFile
*/
private Context translateAssert(Location<Assert> stmt, Context context) {
Pair<Expr, Context> p = translateExpressionWithChecks(stmt.getOperand(0), context);
Expr condition = p.first();
context = p.second();
//
After Change
* @param wyalFile
*/
private Context translateAssert(Location<Assert> stmt, Context context) {
Location<?> operand = stmt.getOperand(0);
Pair<Expr, Context> p = translateExpressionWithChecks(operand, context);
Expr condition = p.first();
context = p.second();